Computational logic
Synonyms for "computational logic" (21 found)
Ranked by relevance and common usage.
Closest matches (5)
Noun(2 words)
algorithm logicalgorithm logics
Adjective(3 words)
Strong matches (6)
Adjective(5 words)
digital logicformal logicformal specificationhardware orientedlogic based
Noun(1 words)
digital logics
Related words (10)
Adjective(8 words)
logic of computationlogic-based verificationmathematical logicsmodern logicsprogram semanticsproof theory for computingtheorem proving for computingtype theoretic reasoning
Noun(2 words)
predicate logicssymbolic logical
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
7 entriescomputer engineeringcomputer sciencecomputer science methodsdigital electronicsformal methodslogictheory of computation
More specific
13 entriesautomated theorem provingcombinational logicfirst order logicformal specification languagesformal verificationlambda calculus based semanticsmodel checkingproof systemspropositional logicsequential logicsoftware verificationtemporal logictype theory
Collocations
11 entriesautomated theorem provingcomputational logic designcomputational logic frameworkcomputational logic modelcomputational logic systemcomputational logic theoryformal verificationlogic programmingmodel checkingproof systemstype theory
Inflections
3 entriescomputational logicsmore computational logicmost computational logic